(b, ...a) + 1
